extract:

fetch:
	curl https://raw.githubusercontent.com/BNFC/bnfc/a88042ca191a38a7408537a997f179a6e05a8a95/examples/LBNF/LBNF.cf > fetched/LBNF.cf
